A Co-simulation concept for an efficient analysis of complex logic designsFISCHER, J; MÜLLER, C; KURZ, H et al.Lecture notes in computer science. 1998, pp 495-499, issn 0302-9743, isbn 3-540-64948-4Conference Paper

Efficient testing of optimal time addersBECKER, B.IEEE transactions on computers. 1988, Vol 37, Num 9, pp 1113-1121, issn 0018-9340Article

Towards correct object-oriented design frameworks in computational logicLAU, Kung-Kiu; ORNAGHI, Mario.Lecture notes in computer science. 2003, pp 260-261, issn 0302-9743, isbn 3-540-40438-4, 2 p.Conference Paper

Cohérence d'un schéma de base de données de type entité-association = The coherency of an entity-relationship data base schemeKIM, M. J; TOUNSI, N; DERNIAME, J. C et al.Information-communication 86. Congrès-exposition. 1986, pp 93-103Conference Paper

Resilient alarm logic design for process networksTSAI, Chii-Shang; CHANG, Chuei-Tin; CHEN, Kwan-Hwa et al.Industrial & engineering chemistry research. 2000, Vol 39, Num 12, pp 4974-4985, issn 0888-5885Conference Paper

Les particularités de fonctionnement des systèmes expertsBIRMAN, EH. G.Naučno-tehničeskaâ informaciâ. Seriâ 1. Organizaciâ i metodika informacionnoj raboty. 1988, Num 6, pp 2-13, issn 0548-0019, 6 p.Article

Résolution des problèmes de conception des circuits radioélectroniques par les méthodes de programmation logiqueNORENKOV, I. P; FEDORUK, V. G; CHERMOSHENTSEV, S. F et al.Radiotehnika (Moskva). 1989, Num 2, pp 76-78, issn 0033-8486Article

Dynamic reallocation of functional units in superscalar processorsEPALZA, Marc; IENNE, Paolo; MLYNEK, Daniel et al.Lecture notes in computer science. 2004, pp 185-198, issn 0302-9743, isbn 3-540-23003-3, 14 p.Conference Paper

A fading algorithm for sequential fault diagnosisHUANG, Shi-Yu.IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. 2004, pp 139-147, isbn 0-7695-2241-6, 1Vol, 9 p.Conference Paper

Some comments on «A denotational semantics for Prolog»ARBAB, B; BERRY, D. M.ACM transactions on programming languages and systems. 1994, Vol 16, Num 3, pp 605-606, issn 0164-0925Article

Documentation management for large systems of equipmentVAN SICKEL, P; SIERZEGA, K. F; HERRING, C. A et al.RIAO 88: (Recherche d'Information Assistée par Ordinateur). Conference. 1988, pp 124-137Conference Paper

The programming language standards scene, ten years on. XIII: PrologSCOWEN, R.Computer standards & interfaces. 1994, Vol 16, Num 5-6, pp 511-518, issn 0920-5489Article

Algorithm for the generation of disjoint cubes for completely and incompletely specified boolean functionsFALKOWSKI, B. J; PERKOWSKI, M. A.International journal of electronics. 1991, Vol 70, Num 3, pp 533-538, issn 0020-7217Article

A logical design methodology for relational databases using the extended entity-relationship modelTEOREY, T. J; DONGQING YANG; FRY, J. P et al.ACM computing surveys. 1986, Vol 18, Num 2, pp 197-222, issn 0360-0300Article

Design and implementation of a generic, logic and functional programming languageBERT, Didier; ECHAED, Rachid.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 560. 1985, 19 p.Report

Bounds on the complexity of recurrent neural network implementations of finite state machinesHORNE, B. G; HUSH, D. R.Neural networks. 1996, Vol 9, Num 2, pp 243-252, issn 0893-6080Article

Computational model for conceptual design based on extended function logicSTURGES, R. H; O'SHAUGHNESSY, K; KILANI, M. I et al.Artificial intelligence for engineering design, analysis and manufacturing. 1996, Vol 10, Num 4, pp 255-274, issn 0890-0604Article

Some results regarding the structure of minimum covers in the relational database mobelTRAN THAI SON; DINH THI NGOC THANH; HO THU et al.Computers and artificial intelligence. 1989, Vol 8, Num 3, pp 247-256, issn 0232-0274Article

Design of MOS networks in single-rail input logic for incompletely specified functionsHUNG CHI LAI; MUROGA, S.IEEE transactions on computer-aided design of integrated circuits and systems. 1988, Vol 7, Num 3, pp 339-345, issn 0278-0070Article

Effective browsing in hypertext systemsFOSS, C. L.RIAO 88: (Recherche d'Information Assistée par Ordinateur). Conference. 1988, pp 82-98Conference Paper

An effective authentication scheme for mobile node with fast roaming propertyKIM, Miyoung; KIM, Misun; MUN, Youngsong et al.Lecture notes in computer science. 2005, pp 559-568, issn 0302-9743, isbn 3-540-25860-4, 4Vol, 10 p.Conference Paper

HITACHI M-640 processor groupSATO, T; SAWADA, H.Hitachi review. 1989, Vol 38, Num 4, pp 187-194, issn 0018-277XArticle

An area-efficient timing closure technique for FPGAs using Shannon's expansionSINGH, Deshanand P; BROWN, Stephen D.Integration (Amsterdam). 2007, Vol 40, Num 2, pp 167-173, issn 0167-9260, 7 p.Article

Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesisKAPOOR, Hemangee K; JOSEPHS, Mark B.Design automation conference. 2004, pp 830-833, isbn 1-58113-828-8, 4 p.Conference Paper

A novel watermarking technique for LUT based FPGA designsCARLINE, Dylan; COULTON, Paul.Lecture notes in computer science. 2002, pp 1152-1155, issn 0302-9743, isbn 3-540-44108-5, 4 p.Conference Paper